TU Berlin

Modelle und Theorie Verteilter SystemePublikationen

MTV mit Schwung

Inhalt des Dokuments

zur Navigation

Publikationen

Open Bisimulation, Revisited
Zitatschlüssel DBLP:journals/entcs/BriaisN06
Autor Sébastien Briais and Uwe Nestmann
Seiten 109-123
Jahr 2006
Journal Electr. Notes Theor. Comput. Sci.
Jahrgang 154
Nummer 3
Link zur Publikation Download Bibtex Eintrag

Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe